10

Building access control models with attribute exploration

Year:
2009
Language:
english
File:
PDF, 203 KB
english, 2009
12

The Correctness-by-Construction Approach to Programming Volume 668 ||

Year:
2012
Language:
english
File:
PDF, 375 KB
english, 2012
17

Server-centric Web frameworks

Year:
2008
Language:
english
File:
PDF, 249 KB
english, 2008
25

The South African Computer Journal : 1989 to 2010

Year:
2010
Language:
english
File:
PDF, 181 KB
english, 2010
29

Performance of hardcoded finite automata

Year:
2006
Language:
english
File:
PDF, 164 KB
english, 2006
34

Lattices in machine learning: Complexity issues

Year:
1998
Language:
english
File:
PDF, 185 KB
english, 1998
38

A comparison of simulated traffic conditioner performance

Year:
2008
Language:
english
File:
PDF, 220 KB
english, 2008
39

The Correctness-by-Construction Approach to Programming || Simple Examples

Year:
2012
Language:
english
File:
PDF, 393 KB
english, 2012